1![IKOS: A Framework for Static Analysis based on Abstract Interpretation (Tool Paper) Guillaume Brat, Jorge A. Navas, Nija Shi, and Arnaud Venet NASA Ames Research Center, Moffett Field, CAAbstract. The RTCA standar IKOS: A Framework for Static Analysis based on Abstract Interpretation (Tool Paper) Guillaume Brat, Jorge A. Navas, Nija Shi, and Arnaud Venet NASA Ames Research Center, Moffett Field, CAAbstract. The RTCA standar](https://www.pdfsearch.io/img/87c170f5d34d3655b85d6b9132c8d9eb.jpg) | Add to Reading ListSource URL: jorgenavas.github.ioLanguage: English - Date: 2018-10-25 12:43:22
|
---|
2![NATO Cooperative Cyber Defence Centre of Excellence (the Centre) is a NATO-accredited International Military Organisation dealing with education, consultation, lessons learned, research and development in the field of cy NATO Cooperative Cyber Defence Centre of Excellence (the Centre) is a NATO-accredited International Military Organisation dealing with education, consultation, lessons learned, research and development in the field of cy](https://www.pdfsearch.io/img/9778476fe8b17bf0ed2f365d2c2d0221.jpg) | Add to Reading ListSource URL: www.ccdcoe.orgLanguage: English - Date: 2016-08-04 08:04:56
|
---|
3![Reconfigurable Hardware Implementation of Mesh Routing in the Number Field Sieve Factorization Sashisu Bajracharya1, Deapesh Misra1, Kris Gaj1, Tarek El-Ghazawi2 1 Reconfigurable Hardware Implementation of Mesh Routing in the Number Field Sieve Factorization Sashisu Bajracharya1, Deapesh Misra1, Kris Gaj1, Tarek El-Ghazawi2 1](https://www.pdfsearch.io/img/1a4954f2fa55c2b5f1e150d60c1bcdb2.jpg) | Add to Reading ListSource URL: www.hyperelliptic.orgLanguage: English - Date: 2005-03-13 11:15:52
|
---|
4![Cofactorisation strategies for the number field sieve and an estimate for the sieving step for factoring 1024-bit integers Thorsten Kleinjung University of Bonn, Department of Mathematics, Beringstraße 1, DBonn, Cofactorisation strategies for the number field sieve and an estimate for the sieving step for factoring 1024-bit integers Thorsten Kleinjung University of Bonn, Department of Mathematics, Beringstraße 1, DBonn,](https://www.pdfsearch.io/img/6927c34a84f6c9bced20b149413ece97.jpg) | Add to Reading ListSource URL: www.hyperelliptic.orgLanguage: English - Date: 2006-03-21 11:54:50
|
---|
5![Alice in Warningland: A Large-Scale Field Study of Browser Security Warning Effectiveness Devdatta Akhawe, University of California, Berkeley; Adrienne Porter Felt, Google, Inc. This paper is included in the Proceedings Alice in Warningland: A Large-Scale Field Study of Browser Security Warning Effectiveness Devdatta Akhawe, University of California, Berkeley; Adrienne Porter Felt, Google, Inc. This paper is included in the Proceedings](https://www.pdfsearch.io/img/f09c4ba3e35a8245559546a2b481cc4c.jpg) | Add to Reading ListSource URL: www.usenix.orgLanguage: English - Date: 2013-09-28 11:40:42
|
---|
6![Lecture 16, Tues March 21: Quantum Computing, Universal Gate Sets Guest Lecture by Tom Wong Having seen lots of quantum protocols, we’re finally ready to tackle the holy grail of the field: a programmable quantum compu Lecture 16, Tues March 21: Quantum Computing, Universal Gate Sets Guest Lecture by Tom Wong Having seen lots of quantum protocols, we’re finally ready to tackle the holy grail of the field: a programmable quantum compu](https://www.pdfsearch.io/img/8d642032d8eebc9396bdc2402905f162.jpg) | Add to Reading ListSource URL: www.scottaaronson.comLanguage: English - Date: 2018-10-22 17:57:48
|
---|
7![A polynomial time algorithm for computing the HNF of a module over the integers of a number field Jean-François Biasse Claus Fieker A polynomial time algorithm for computing the HNF of a module over the integers of a number field Jean-François Biasse Claus Fieker](https://www.pdfsearch.io/img/9285a440450896b68a2aa0a61fe828b4.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2014-09-02 14:57:05
|
---|
8![Cohomological field theory calculations Rahul Pandharipande February 2018 Abstract Cohomological field theories (CohFTs) were defined in the mid 1990s by Kontsevich and Manin to capture the formal properties of the virtu Cohomological field theory calculations Rahul Pandharipande February 2018 Abstract Cohomological field theories (CohFTs) were defined in the mid 1990s by Kontsevich and Manin to capture the formal properties of the virtu](https://www.pdfsearch.io/img/ba52929b3e22140bbcb13013a03b3631.jpg) | Add to Reading ListSource URL: eta.impa.brLanguage: English - Date: 2018-07-28 17:09:48
|
---|
9![Implementation of Mesh Routing for the Matrix Step in Number Field Sieving Factoring Implementation of Mesh Routing for the Matrix Step in Number Field Sieving Factoring](https://www.pdfsearch.io/img/ab53dd5e0f4fa71fe7a8e67e3da390b4.jpg) | Add to Reading ListSource URL: www.hyperelliptic.orgLanguage: English - Date: 2005-03-13 11:15:52
|
---|
10![METRIC DIMENSION REDUCTION: A SNAPSHOT OF THE RIBE PROGRAM ASSAF NAOR 1. Introduction The purpose of this article is to survey some of the context, achievements, challenges and mysteries of the field of metric dimension METRIC DIMENSION REDUCTION: A SNAPSHOT OF THE RIBE PROGRAM ASSAF NAOR 1. Introduction The purpose of this article is to survey some of the context, achievements, challenges and mysteries of the field of metric dimension](https://www.pdfsearch.io/img/3ec2b4070820a02c01f119ad66ef6106.jpg) | Add to Reading ListSource URL: eta.impa.brLanguage: English - Date: 2018-07-28 17:09:47
|
---|